Disjunctive Normal Form

(DNF) A logical formula consisting of a {disjunction} of

{conjunction}s where no conjunction contains a disjunction.

E.g. the DNF of (A or B) and C is (A and C) or (B and C).

(1994-12-07)